301. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic programming ; Congresses. ; Nonmonotonic reasoning ; Congresses. ;
302. Logic programming and nonmonotonic reasoning :
پدیدآورنده : James P. Delgrande, Wolfgang Faber (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2011
303. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.
304. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
1999
305. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Logic programming congresses,Nonmonotonic reasoning congresses
رده :
QA
,
76
.
63
,.
L74
306. Logic programming and nonmonotonic reasoning
پدیدآورنده : Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
2009eb
307. Logic programming and nonmonotonic reasoning
پدیدآورنده : / Chitta Baral, Gerhard Brewka, John Schlipf (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming--Congresses,Nonmonotonic reasoning--Congresses
رده :
QA
,
76
.
63
,.
L74
,
2007
308. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
309. Logic programming and nonmonotonic reasoning:Third international
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : logic programming
رده :
QA76
.
63
.
L65
1995
310. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
311. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
312. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
313. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
314. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
315. Logic programming and soft computing
پدیدآورنده : / edited by T.P. Martin and F. Arcelli Fontana
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic programming,Soft computing
رده :
QA76
.
63
.
L63234
1998
316. Logic programming and soft computing
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic programming,Soft computing I.Martin,T.P.II.Arcelli fontana.III.series
رده :
QA76
.
63
.
L632
1998
317. Logic programming and soft computing
پدیدآورنده : edited by T.P. Martin, F. Arcelli Fontana
کتابخانه: (Semnan)
موضوع : ، Logic programming,، Soft computing
رده :
QA
76
.
63
.
L63
318. Logic programming : formal methods and practical applications
پدیدآورنده : edited by Christoph Beierle, Lutz Plumer
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic programming
رده :
QA
76
.
63
.
L63294
1995
319. Logic programming, functions, relations, and equations
پدیدآورنده : (edited by) Doug DeGroot, Gary Lindstrom
موضوع : Logic programming,Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
320. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده : G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
